Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)

نویسندگان

  • Shakil M. Khan
  • Yves Lespérance
چکیده

To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritized declarative goals that addresses this deficiency. We ensure that the agent’s chosen declarative goals and adopted plans are consistent with each other and with the agent’s knowledge. We show how agents specified in our language satisfy some key rationality requirements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

BDI Agent Programming in AgentSpeak Using Jason

This paper is based on the tutorial given as part of the tutorial programme of CLIMA-VI. The tutorial aimed at giving an overview of the various features available in Jason , a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is...

متن کامل

A Recent Experience in Teaching Multi-Agent Systems Using Jason

This paper briefly describes a recent experience of using Jason for teaching Multi-Agent Systems. Jason is a Java-based interpreter for an extended version of AgentSpeak. The basic AgentSpeak programming language for BDI agents is rather simple, making Jason a suitable tool for students to put into practice some of the elements of the BDI theory covered in the lectures.

متن کامل

Foundations of Flexible Multi-Agent Programming

In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, constraints and content/context sets. These two aspects provide sufficient expressive power to allow us to represent, simply and with ...

متن کامل

Emotional Agents — an Implementation in 2 APL — Pieter

This paper discusses the implementation of a well-known cognitive model for emotions in the agent specification language 2APL. 2APL is an abstract agent programming language which is based on the notion of BDI (Belief, Desire, Intention). It adheres strict semantical rules and is an extension of the logical language KARO. Traditionally the behaviour of the 2APL agent is defined in terms of goal...

متن کامل

Multi-Agent Programming: Languages, Platforms and Applications

This chapter describes Jason, an interpreter written in Java for an extended version of AgentSpeak, a logic-based agent-oriented programming language that is suitable for the implementation of reactive planning systems according to the BDI architecture. We describe both the language and the various features and tools available in the platform.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011